do-you-know seq returns |no> if seq is the empty ket |> returns |yes> otherwise frequently useful with if, op-if() and value-if()
do-you-know |> |no> do-you-know |...> |yes>